more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 8474

[filed under theme 4. Formal Logic / F. Set Theory ST / 1. Set Theory ]

Full Idea

The incompleteness of set theory contrasts sharply with the completeness of elementary logic.

Gist of Idea

Unlike elementary logic, set theory is not complete

Source

Alex Orenstein (W.V. Quine [2002], Ch.5)

Book Ref

Orenstein,Alex: 'W.V. Quine' [Princeton 2002], p.99

---

A Reaction

This seems to be Quine's reason for abandoning the Frege-Russell logicist programme (quite apart from the problems raised by Gödel.